2161. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2001
2162. The strange logic of random graphs
پدیدآورنده : Spencer, Joel H.
کتابخانه: (طهران)
موضوع : ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2163. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman, 3591-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
2164. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
2165. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: (کرمان)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
2166. The symbolic computation of integrability structures for partial differential equations /
پدیدآورنده : Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
2167. The technique of theory construction
پدیدآورنده : Woodger, Joseph Henry
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
Q
121
.
I5
Vol
.
2
No
.
5
2168. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
2169. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
2170. The theory of models; proceedings
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
2171. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
2172. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1949
2173. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1971
2174. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R413
2175. The uncertain reasoner's companion : a mathematical perspective
پدیدآورنده : Paris, J. B.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Uncertainty,، Reasoning
رده :
QA
9
.
P26
2176. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
2177. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: (طهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2178. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
پدیدآورنده : Jim Grundy, Malcolm Newey, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
2179. Theorem proving with analytic tableaux and related methods :
پدیدآورنده : Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
2180. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده : P. Miglioli ... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
